Ours : Période antique, sources littéraires

Antique Team

In this document, we use the Abstract Interpretation framework to analyze concurrent programs using Thread-Modular Analysis. We designed a relational abstraction of interferences in order to infer more properties and go beyond the state of the art. We implemented a basic analyzer, studying the numerical properties of a simple language. We present the results obtained, as well as a study of the ...

Are Ours Really Smaller than Theirs? Are Ours Really Smaller than Theirs?

The claim is often made that functional programs are \more" expressive than their imperative counterparts. This paper examines this claim using a particular measure of (i) program length and (ii) programming language \level" (a measure of expressive power) both from the work of Halstead on software metrics. This paper was presented at the 1996 Glasgow Functional Programming Workshop, held in Ul...

Antique medical instruments

Pound's Century, and Ours

One of ours.

“With one arm leaning on the door and his back turned away from the patient, this guy talked to the patient’s mother, not once picking up the patient’s medical records. This guy is social—very social. I mean, do you see how he chats and chats and chats with everyone? It’s really a gift; I have never seen someone chat so much and do so little work. And it was a night shift—just me, a first-year ...